961. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
962. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
963. Transactions on engineering technologies :
Author: Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
Classification :
TA5
964. Transactions on large-scale data- and knowledge-centered systems XLI :
Author: Abdelkader Hameurlain, Roland Wagner, Tran Khanh Dang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining, Congresses.,Data mining.
Classification :
QA76
.
9
.
D343
965. Transactions on large-scale data- and knowledge-centered systems XXXVIII :
Author: Abdelkader Hameurlain, Roland Wagner, Sven Hartmann, Hui Ma (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Computer networks-- Security measures.,Computer security.,Data mining.,Database management.
Classification :
QA76
.
9
.
A25
966. Ubiquitous communications and network computing :
Author: Navin Kumar, R. Venkatesha Prasad (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
Classification :
TK5105
.
5
967. Ubiquitous intelligence and computing :
Author: Ching-Hsien Hsu [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ubiquitous computing, Congresses
Classification :
QA76
.
5915
.
U33
2011
968. Understanding and interpreting machine learning in medical image computing applications :
Author: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
Classification :
RC78
.
7
.
D53
I58
2018
969. VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC88, Corfu, Greece, June 28-July, 1988 : Proceedings
Author: J.H. Reif ]ed.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
319
970. VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki Greece, July 8-11, 1986: Proceedings
Author: edited by F. Makedon...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
227
971. VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings
Author: edited by F. Makedon ... )et al.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer architecture
Classification :
QA
76
.
L4
v
.
227
972. VLSI algorithms and architectures: Aegean workshop on computing, Loutraki, Greece, July 8-11, 1986; Proceedings
Author: edited by F. Makedon...)et al.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Very large scale integration - Congresses ، Integrated circuits,Congresses ، Computer architecture
Classification :
TK
7874
.
A338
1986
973. VLSI algorithms and architectures. 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings
Author: J.H. Reif
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Integrated circuits, Very large scale integration, Congresses,، Computer architecture, Congresses,، Algorithms, Congresses
Classification :
TK
7874
.
A44
1988
974. VLSI algorithms and architectures: 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Integrated circuits-- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
Classification :
TK
7874
.
A338
1988
975. Variable neighborhood search :
Author: Angelo Sifaleras, Said Salhi, Jack Brimberg (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Traveling salesman problem, Congresses.,Traveling salesman problem.
Classification :
QA402
.
5
976. Variable neighborhood search :
Author: Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
Classification :
QA402
.
5
977. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
978. Vision algorithms : theory and practice : International Workshop on Vision Algorithms, Corfu, Greece, September 21-22, 1999 : proceedings
Author: Bill Triggs, Andrew Zisserman, Richard Szeliski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics --Congresses ، Computer vision,Mathematics -- Congresses ، Image processing
Classification :
QA
76
.
L28
Vol
.
1883
979. Visual information and information systems :
Author: Dionysius P. Huijsmans, Arnold W.M. Smeulders (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Informatiesystemen.,Information display systems -- Congresses.,Information display systems.
980. WALCOM
Author: \ [edited by] M. Sohel Rahman, Etsuji Tomita.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتمهای کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
A43W32
2015
E-Book
,
